package aupdg.data.model;

/**
 * Contract of a Petrinet. It is a wrapper of the different implementations.
 *
 * @author AA and CJ
 */
public interface Petrinet {

    /**
     * Method returns the wrapped Petrinet object.
     *
     * @return
     */
    public Object getInnerPetriNet();
}
